Memoing Evaluation by Source-to-Source Transformation

This paper presents a novel implementation of memoing evaluation SSW94] by source-to-source transformation. The transformation proceeds in two steps: The rst step consists of magic sets rewriting BR91], a standard transformation in deductive databases, application to Prolog has not been considered yet. The second transformation rewrites bottom-up rules to Prolog clauses. This bottom-up to top-down transformation has useful applications besides memoing. It can be derived by partially evaluating a tuple-oriented semi-naive meta-interpreter for bottom-up rules, written in Prolog. This paper also presents a variant of supplementary magic sets tailored to the memoing application.